501. Theory and Practice of Model Transformations :
پدیدآورنده : edited by Keith Duddy, Gerti Kappel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
502. Theory and Practice of Parallel Programming :
پدیدآورنده : edited by Takayasu Ito, Akinori Yonezawa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer system failures.,Microprocessors.
رده :
TK7895
.
M5
E358
1995
503. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
504. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده : Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
505. Theory and formal methods 1993 :
پدیدآورنده : Geoffrey Burn ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computerkonferenz.,Formale Spezifikationstechnik.,Praxis.
506. Theory and practice of natural computing :
پدیدآورنده : David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
507. Theory of Coronoid Hydrocarbons II
پدیدآورنده : by S.J. Cyvin, J. Brunvoll, B.N. Cyvin, R.S. Chen, F.J. Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Annulenes.,Chemistry.,Combinatorial analysis.
رده :
QD341
.
A83
B975
1994
508. Theory of computational complexity /
پدیدآورنده : Ding-Zhu Du, Department of Computer Science, University of Texas at Dallas, Ann Arbor, MI, Ker-I Ko, Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.
رده :
QA267
.
7
.
D8
2014eb
509. Theory of quantum computation, communication, and cryptography :
پدیدآورنده : TQC 2012, Tokyo, Japan, May 17-19, 2012 ; Kazuo Iwama, Yasuhito Kawano, Mio Murao (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : QUANTENBERECHNUNGEN (UNIVERSELLE MASCHINEN),QUANTENCOMPUTER (COMPUTERSYSTEME),QUANTENKRYPTOGRAPHIE (INFORMATIONSTHEORIE)
510. Threshold graphs and related topics /
پدیدآورنده : N.V.R. Mahadev, U.N. Peled.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Graph theory.,Graphes, Théorie des.,Graph theory.,Graphes, théorie des.,MATHEMATICS-- Graphic Methods.
رده :
QA166
.
M28
1995eb
511. Topics in discrete mathematics
پدیدآورنده : Martin Klazar ... ]et al.[, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Neeseteril, Jaroslav,Mathematics,Computer science- Mathematics,Graph theory
رده :
QA
39
.
3
.
T67
2006
512. Topics in discrete mathematics : dedicated to Jarik Nesetril on the occasion of his 60th birthday
پدیدآورنده : Martin Klazar...]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics,، Computer science -- Mathematics,، Graph theory
رده :
QA
39
.
2
.
T66D4
513. Topics in engineering mathematics :
پدیدآورنده : edited by Adriaan van der Burgh and Juriaan Simonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Mathematical optimization.,Mathematics.
514. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
515. Transforms & regressions: exact graphs for exact science: reference manual
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، SigmaPlot,، Computer graphics,، Graph theory
رده :
T
385
.
T74
1997
516. Tree automata and languages
پدیدآورنده : edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
517. Trees in algebra and programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
166
.
2
.
C3
1986
518. Trees in algebra and programming, CAAP'96 : 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996 : proceedings
پدیدآورنده : Helene Kirchner )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1059
519. Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings
پدیدآورنده : Sophie Tison, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
787
520. Trees in algebra and programming : 8th Colloquium, L'Aquila, March 9-11, 1983: proceedings CAAP'83
پدیدآورنده : edited by G. Ausiello and M. Protasi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
159